a Theory

Results: 34070



#Item
311

Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than

Add to Reading List

Source URL: www.thev.net

- Date: 2014-02-12 14:21:02
    312

    CS364A: Problem Set #1 Due to the TAs by noon on Friday, October 11, 2013 Instructions: (1) Form a group of at most 3 students and solve as many of the following problems as you can. You should turn in only one write-up

    Add to Reading List

    Source URL: theory.stanford.edu

    - Date: 2013-09-30 12:42:26
      313

      Uncovering our Tracks: Ideology and the Archival Enterprise Mark A. Matienzo The origins of dispute: the theory/practice debates as discourses on archival ideology With the recent changes that have occurred within the re

      Add to Reading List

      Source URL: matienzo.org

        314

        Semestr letniStudia doktoranckie, stopień: 3, rok 3 MON -Selected topics in measure theory [WZTM] prof. dr hab. A. Jakubowski; MONDR – AN [M-AN] prof. dr hab. Nowicki; MONDR – KS [M-KS] prof. dr hab. K. S

        Add to Reading List

        Source URL: plan.mat.umk.pl

        - Date: 2018-03-15 05:01:50
          315

          DEPENDENT TYPES IN HASKELL: THEORY AND PRACTICE Richard A. Eisenberg A DISSERTATION in Computer and Information Sciences

          Add to Reading List

          Source URL: www.cis.upenn.edu

          - Date: 2017-01-12 11:10:52
            316

            A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

            Add to Reading List

            Source URL: www.andrew.cmu.edu

            - Date: 2018-02-12 22:13:01
              317

              CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g

              Add to Reading List

              Source URL: theory.stanford.edu

              - Date: 2016-08-30 19:06:23
                318

                Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

                Add to Reading List

                Source URL: hott-uf.github.io

                - Date: 2018-03-28 14:04:14
                  319

                  To appear in A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, College Publications, Logic and Social Choice Theory Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam

                  Add to Reading List

                  Source URL: staff.fnwi.uva.nl

                  - Date: 2012-01-09 08:18:25
                    320

                    A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

                    Add to Reading List

                    Source URL: babel.ls.fi.upm.es

                    - Date: 2016-05-31 07:48:41
                      UPDATE